A Two-dimensional Birkhoff’s Theorem
نویسنده
چکیده
Birkhoff’s variety theorem from universal algebra characterises equational subcategories of varieties. We give an analogue of Birkhoff’s theorem in the setting of enrichment in categories. For a suitable notion of an equational subcategory we characterise these subcategories by their closure properties in the ambient algebraic category.
منابع مشابه
Birkhoff’s Variety Theorem with and without Free Algebras
For large signatures Σ we prove that Birkhoff’s Variety Theorem holds (i.e., equationally presentable collections of Σ-algebras are precisely those closed under limits, subalgebras, and quotient algebras) iff the universe of small sets is not measurable. Under that limitation Birkhoff’s Variety Theorem holds in fact for F -algebras of an arbitrary endofunctor F of the category Class of classes ...
متن کاملA new proof of Birkhoff ’ s theorem ∗ Hans
Assuming SO(3)-spherical symmetry, the 4–dimensional Einstein equation reduces to an equation conformally related to the field equation for 2–dimensional gravity following from the Lagrangian L = |R|1/3. Solutions for 2–dimensional gravity always possess a local isometry because the traceless part of its Ricci tensor identically vanishes. Combining both facts, we get a new proof of Birkhoff’s t...
متن کاملModal Operators for Coequations
We present the dual to Birkhoff’s variety theorem in terms of predicates over the carrier of a cofree coalgebra (i.e., in terms of “coequations”). We then discuss the dual to Birkhoff’s completeness theorem, showing how closure under deductive rules dualizes to yield two modal operators acting on coequations. We discuss the properties of these operators and show, given a familiar condition on t...
متن کاملHow to bypass Birkhoff through extra dimensions A simple framework for investigating the gravitational collapse in vacuum
It is fair to say that our current mathematical understanding of the dynamics of gravitational collapse to a black hole is limited to the spherically symmetric situation and, in fact, even in this case much remains to be learned. The reason is that Einstein’s equations become tractable only if they are reduced to a 1 + 1 dimensional system of partial differential equations. Due to this technica...
متن کاملUnveiling Eilenberg-type Correspondences: Birkhoff's Theorem for (finite) Algebras + Duality
The purpose of the present paper is to show that: Eilenberg–type correspondences = Birkhoff’s theorem for (finite) algebras + duality. We consider algebras for a monad T on a category D and we study (pseudo)varieties of T– algebras. Pseudovarieties of algebras are also known in the literature as varieties of finitealgebras. Two well–known theorems that characterize varieties and pseudovarie...
متن کامل